$\forall$$A$,$B$,$C$:Type. strong{-}subtype($A$; $B$) $\Rightarrow$ strong{-}subtype($B$; $C$) $\Rightarrow$ strong{-}subtype($A$; $C$)